Unfold `guard` 0